Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
591	Learning HTN Method Preconditions and Action Models from Partial Observations Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2009-07-14 20:12:38 Artificial intelligence Mathematics Decomposition method Precondition Algorithm Applied mathematics Automated planning and scheduling Hierarchical task network Constraint programming
592	Artificial Intelligence Tutorial 7 - Answers 1. Suppose you have a variable, x, which can range over the numbers 1 to 20 and a variable, y, which can range over the numbers 5 to 20. a) Express this constraint on x formal Add to Reading List Source URL: ccg.doc.gold.ac.uk Language: English - Date: 2013-09-18 10:16:32 Function Mathematical fallacy Trigonometric functions Constraint satisfaction Constraint logic programming Constraint programming Mathematics Mathematical analysis
593	A Hybrid AI Approach to Staff Scheduling Graham Winstanley School of Computing & Mathematical Sciences University of Brighton [removed] Add to Reading List Source URL: www.it.bton.ac.uk Language: English - Date: 2002-08-09 08:16:48 Computer programming Nurse scheduling problem Constraint satisfaction Constraint logic programming Constraint ECLiPSe Mathematical optimization Constraint programming Declarative programming Software engineering
594	Structuring Documents Efficiently Robert Marshall, Steven Bird and Peter J. Stuckey∗ Department of Computer Science and Software Engineering University of Melbourne, Victoria 3010, Australia {robertgm,sb,pjs}@csse.unim Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-02-22 22:08:01 Critical thinking Rhetoric Interpretation Constraint logic programming Logic Constraint programming Linguistics Narratology
595	Introduction to Satisfiability Solving with Practical Applications Niklas Een SAT solvers Add to Reading List Source URL: wikis.mit.edu Language: English - Date: 2011-06-27 04:21:44 Mathematics Automated theorem proving Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Unit propagation Backtracking Resolution Theoretical computer science Constraint programming Applied mathematics
596	Constrained Physical Design Tuning Nicolas Bruno Surajit Chaudhuri Microsoft Research Add to Reading List Source URL: www.vldb.org Language: English - Date: 2008-10-22 09:22:50 Computational science Constraint optimization Computer programming Constraint algorithm Database index Constraint Backtracking Systems engineering process Decomposition method Constraint programming Mathematical optimization Science
597	C o n s t r a i n t P r o g r a m m i n g Constraints and AI Planning Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2005-12-27 13:41:27 Computer programming Constraint satisfaction Constraint graph Local consistency Logic programming Constraint optimization Hierarchical task network Bart Selman Automated planning and scheduling Constraint programming Software engineering Theoretical computer science
598	Overview of SMT CVC4 The CVC4 SMT Solver Martin Brain on behalf of Morgan Deters Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:38 Logic Formal methods Constraint programming Logic in computer science Satisfiability Modulo Theories First-order logic Interpretation Theoretical computer science Mathematical logic Model theory
599	Learning Bayesian Network Structure using LP Relaxations Tommi Jaakkola MIT CSAIL David Sontag Add to Reading List Source URL: jmlr.org Language: English - Date: 2010-03-31 18:51:07 Applied mathematics Linear programming Convex optimization Constraint programming Linear programming relaxation Bayesian network Directed acyclic graph Duality Polyhedral combinatorics Mathematical optimization Mathematics Operations research
600	Microsoft Word - ESRsubmission.doc Add to Reading List Source URL: www.iioa.org Language: English - Date: 2007-10-09 05:38:13 Determinant Function Matrix Mathematics Constraint programming Decomposition method

UPDATE